Search

Your search keyword '"Type (model theory)"' showing total 132,711 results

Search Constraints

Start Over You searched for: Descriptor "Type (model theory)" Remove constraint Descriptor: "Type (model theory)"
132,711 results on '"Type (model theory)"'

Search Results

1. Low-cycle fatigue analysis of a new type of reduced-beam-section connection

3. Spatial dynamic analysis for COVID-19 epidemic model with diffusion and Beddington-DeAngelis type incidence

4. New type i binary [72, 36, 12] self-dual codes from composite matrices and R1 lifts

5. Balancing Constraints and Objectives by Considering Problem Types in Constrained Multiobjective Optimization

6. A new type of difference I-convergent sequence in IFnNS

7. Semi-Supervised Learning With Label Proportion

9. Volumes of Polyhedra in Non-Euclidean Spaces of Constant Curvature

10. The new soliton solutions for long and short-wave interaction system

11. Two perishable inventory systems with one-way substitution

12. Aggregation for linearly ordered fuzzy preference relations based on consistency

13. On fusion control in FC type Artin-Tits groups

14. Decentralized Mutual Damping Control of Cascaded-Type VSGs for Power and Frequency Oscillation Suppression

15. Metric properties of Sierpiński triangle graphs

16. Interval Garside structures related to the affine Artin groups of type A˜

17. Linear Forms in Polylogarithms

18. Global existence, nonexistence, and decay of solutions for a wave equation of p-Laplacian type with weak and p-Laplacian damping, nonlinear boundary delay and source terms

19. A New Generalized Lindley Distribution

20. Membership-Function-Dependent Control Design of Interval Type-2 Sampled-Data Fuzzy-Model-Based Output-Feedback Tracking Control System

21. On the existence of the Legendre constants for some complex continued fraction expansions over imaginary quadratic fields

22. Finite-Time Stabilization of Switched Systems Under Mode-Dependent Event-Triggered Impulsive Control

23. Aumann-Pettis-Sugeno integral of vector multifunctions relative to a fuzzy vector measure

24. Combinatorial Auctions with Interdependent Valuations: SOS to the Rescue

25. Automorphisms of the k-Curve Graph

26. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure

27. Порядок слов в эритажном русском : влияние типа клаузы и языка окружения

28. Stochastic evolution equations with Wick-polynomial nonlinearities

29. Dimensions of the popcorn graph

30. Interval Type-2 Fuzzy Application for Diet Journaling

31. Some novel integration techniques to explore the conformable M-fractional Schrödinger-Hirota equation

32. New results on ordinal sum implications based on ordinal sum of overlap functions

33. Distributed Integral-Type Edge Event- and Self-Triggered Synchronization for Nonlinear Multiagent Systems

34. Two Dawson-type U(VI)-containing selenotungstates with sandwich structure and its high‐efficiency catalysis for pyrazoles

35. Interval Type-2 Fuzzy Differential Equations and Stability

37. On union and intersection of type-2 fuzzy sets not expressible by the sup-t-norm extension principle

38. Minimising the expected commute time

39. An Extended Type-1 Generalized Feistel Networks: Lightweight Block Cipher for IoT

41. Observer Design for Sampled-Data Systems via Deterministic Learning

42. A Novel Attack Detection for Linear Systems With Unknown-But-Bounded Noises

43. An analytical solution for the Caputo type generalized fractional evolution equation

44. Linear theory for a mixed operator with Neumann conditions

45. On a pair of fuzzy dominated mappings on closed ball in the multiplicative metric space with applications

46. A maximum-margin multisphere approach for binary Multiple Instance Learning

49. Sobolev-type inequalities on variable exponent Morrey spaces of an integral form

50. Generalized Fractal Jensen–Mercer and Hermite–Mercer type inequalities via h-convex functions involving Mittag–Leffler kernel

Catalog

Books, media, physical & digital resources